Balanced multi-perspective checking of process conformance

Organizations maintain process models that describe or prescribe how cases (e.g., orders) are handled. However, reality may not agree with what is modeled. Conformance checking techniques reveal and diagnose differences between the behavior that is modeled and what is observed. Existing conformance checking approaches tend to focus on the control-flow in a process, while abstracting from data dependencies, resource assignments, and time constraints. Even in those situations when other perspectives are considered, the control-flow is aligned first, i.e., priority is given to this perspective. Data dependencies, resource assignments, and time constraints are only considered as "second-class citizens", which can lead to misleading conformance diagnostics. In this paper, a novel algorithm is proposed that balances the deviations with respect to all these perspectives based on a customizable cost function. Evaluations using both synthetic and real data sets show that a multi-perspective approach is indeed feasible and may help to circumvent misleading results as generated by classical single-perspective or staged approaches. Keywords: Process Mining • Data Petri Nets • Multi-Perspective Conformance Checking • Log-Process Alignmen

DeepAlign: Alignment-based Process Anomaly Correction using Recurrent Neural Networks

In this paper, we propose DeepAlign, a novel approach to multi-perspective process anomaly correction, based on recurrent neural networks and bidirectional beam search. At the core of the DeepAlign algorithm are two recurrent neural networks trained to predict the next event. One is reading sequences of process executions from left to right, while the other is reading the sequences from right to left. By combining the predictive capabilities of both neural networks, we show that it is possible to calculate sequence alignments, which are used to detect and correct anomalies. DeepAlign utilizes the case-level and event-level attributes to closely model the decisions within a process. We evaluate the performance of our approach on an elaborate data corpus of 252 realistic synthetic event logs and compare it to three state-of-the-art conformance checking methods. DeepAlign produces better corrections than the rest of the field reaching an overall $F_1$ score of $0.9572$ across all datasets, whereas the best comparable state-of-the-art method reaches $0.6411$

Quantifying the Re-identification Risk of Event Logs for Process Mining

Event logs recorded during the execution of business processes constitute a valuable source of information. Applying process mining techniques to them, event logs may reveal the actual process execution and enable reasoning on quantitative or qualitative process properties. However, event logs often contain sensitive information that could be related to individual process stakeholders through background information and cross-correlation. We therefore argue that, when publishing event logs, the risk of such re-identification attacks must be considered. In this paper, we show how to quantify the re-identification risk with measures for the individual uniqueness in event logs. We also report on a large-scale study that explored the individual uniqueness in a collection of publicly available event logs. Our results suggest that potentially up to all of the cases in an event log may be re-identified, which highlights the importance of privacy-preserving techniques in process mining.Comment: Accepted to CAiSE-202

Analysis of Tyrosine Kinase Inhibitor-Mediated Decline in Contractile Force in Rat Engineered Heart Tissue

Introduction Left ventricular dysfunction is a frequent and potentially severe side effect of many tyrosine kinase inhibitors (TKI). The mode of toxicity is not identified, but may include impairment of mitochondrial or sarcomeric function, autophagy or angiogenesis, either as an on-target or off-target mechanism. Methods and Results We studied concentration-response curves and time courses for nine TKIs in three-dimensional, force generating engineered heart tissue (EHT) from neonatal rat heart cells. We detected a concentration- and time-dependent decline in contractile force for gefitinib, lapatinib, sunitinib, imatinib, sorafenib, vandetanib and lestaurtinib and no decline in contractile force for erlotinib and dasatinib after 96 hours of incubation. The decline in contractile force was associated with an impairment of autophagy (LC3 Western blot) and appearance of autophagolysosomes (transmission electron microscopy). Conclusion This study demonstrates the feasibility to study TKI-mediated force effects in EHTs and identifies an association between a decline in contractility and inhibition of autophagic flux

Three-Dimensional Human iPSC-Derived Artificial Skeletal Muscles Model Muscular Dystrophies and Enable Multilineage Tissue Engineering

Summary: Generating human skeletal muscle models is instrumental for investigating muscle pathology and therapy. Here, we report the generation of three-dimensional (3D) artificial skeletal muscle tissue from human pluripotent stem cells, including induced pluripotent stem cells (iPSCs) from patients with Duchenne, limb-girdle, and congenital muscular dystrophies. 3D skeletal myogenic differentiation of pluripotent cells was induced within hydrogels under tension to provide myofiber alignment. Artificial muscles recapitulated characteristics of human skeletal muscle tissue and could be implanted into immunodeficient mice. Pathological cellular hallmarks of incurable forms of severe muscular dystrophy could be modeled with high fidelity using this 3D platform. Finally, we show generation of fully human iPSC-derived, complex, multilineage muscle models containing key isogenic cellular constituents of skeletal muscle, including vascular endothelial cells, pericytes, and motor neurons. These results lay the foundation for a human skeletal muscle organoid-like platform for disease modeling, regenerative medicine, and therapy development. : Maffioletti et al. generate human 3D artificial skeletal muscles from healthy donors and patient-specific pluripotent stem cells. These human artificial muscles accurately model severe genetic muscle diseases. They can be engineered to include other cell types present in skeletal muscle, such as vascular cells and motor neurons. Keywords: skeletal muscle, pluripotent stem cells, iPS cells, myogenic differentiation, tissue engineering, disease modeling, muscular dystrophy, organoid

An evolutionary technique to approximate multiple optimal alignments

The alignment of observed and modeled behavior is an essential aid for organizations, since it opens the door for root-cause analysis and enhancement of processes. The state-of-the-art technique for computing alignments has exponential time and space complexity, hindering its applicability for medium and large instances. Moreover, the fact that there may be multiple optimal alignments is perceived as a negative situation, while in reality it may provide a more comprehensive picture of the model’s explanation of observed behavior, from which other techniques may benefit. This paper presents a novel evolutionary technique for approximating multiple optimal alignments. Remarkably, the memory footprint of the proposed technique is bounded, representing an unprecedented guarantee with respect to the state-of-the-art methods for the same task. The technique is implemented into a tool, and experiments on several benchmarks are provided.Peer ReviewedPostprint (author's final draft

Case and Activity Identification for Mining Process Models from Middleware

Process monitoring aims to provide transparency over operational aspects of a business process. In practice, it is a challenge that traces of business process executions span across a number of diverse systems. It is cumbersome manual engineering work to identify which attributes in unstructured event data can serve as case and activity identifiers for extracting and monitoring the business process. Approaches from literature assume that these identifiers are known a priori and data is readily available in formats like eXtensible Event Stream (XES). However, in practice this is hardly the case, specifically when event data from different sources are pooled together in event stores. In this paper, we address this research gap by inferring potential case and activity identifiers in a provenance agnostic way. More specifically, we propose a semi-automatic technique for discovering event relations that are semantically relevant for business process monitoring. The results are evaluated in an industry case study with an international telecommunication provider

Three-Dimensional Human iPSC-Derived Artificial Skeletal Muscles Model Muscular Dystrophies and Enable Multilineage Tissue Engineering

Generating human skeletal muscle models is instrumental for investigating muscle pathology and therapy. Here, we report the generation of three-dimensional (3D) artificial skeletal muscle tissue from human pluripotent stem cells, including induced pluripotent stem cells (iPSCs) from patients with Duchenne, limb-girdle, and congenital muscular dystrophies. 3D skeletal myogenic differentiation of pluripotent cells was induced within hydrogels under tension to provide myofiber alignment. Artificial muscles recapitulated characteristics of human skeletal muscle tissue and could be implanted into immunodeficient mice. Pathological cellular hallmarks of incurable forms of severe muscular dystrophy could be modeled with high fidelity using this 3D platform. Finally, we show generation of fully human iPSC-derived, complex, multilineage muscle models containing key isogenic cellular constituents of skeletal muscle, including vascular endothelial cells, pericytes, and motor neurons. These results lay the foundation for a human skeletal muscle organoid-like platform for disease modeling, regenerative medicine, and therapy development. Maffioletti et al. generate human 3D artificial skeletal muscles from healthy donors and patient-specific pluripotent stem cells. These human artificial muscles accurately model severe genetic muscle diseases. They can be engineered to include other cell types present in skeletal muscle, such as vascular cells and motor neurons